Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
571	Checking Format Compatibility of Programs Using Automata By Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-08-30 17:27:11 Finite-state machine Stephen Cole Kleene Computing Logic Science Automata theory Models of computation XFA
572	COMPUTER NETUWlRKS i&N Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:02:32 Abstraction Data management Interaction Communications protocol Finite-state machine System Information Data Computing
573	Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz Add to Reading List Source URL: vision.ime.usp.br Language: English - Date: 2013-02-27 11:42:30 Diagrams Software engineering Computing Petri nets Iterator Finite-state machine Petriscript TAPAAL Model Checker Models of computation Formal methods Concurrency
574	Predictive Publish/Subscribe Matching Vinod Muthusamy, Haifeng Liu, Hans-Arno Jacobsen University of Toronto Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2010-03-10 13:50:19 Automata theory Digital electronics Models of computation Markov chain Finite-state machine Subscription business model SIMPLE Algorithm PP Theoretical computer science Applied mathematics Markov models
575	A CASE Tool for Robot Behavior Development A. Topalidou-Kyniazopoulou1 , N. I. Spanoudakis2 , and M. G. Lagoudakis1 1 Add to Reading List Source URL: users.isc.tuc.gr Language: English - Date: 2012-04-23 04:18:35 Computing UML diagrams Diagrams Theoretical computer science Digital electronics State diagram Finite-state machine C I-Logix Models of computation Software engineering Automata theory
576	/home/journal/dvi/SoSyM0096-SoSyM-final-print.dvi Add to Reading List Source URL: www.sosym.org Language: English - Date: 2011-06-14 02:36:21 Modeling language Computing ECO Programming paradigm Finite-state machine Software engineering Scientific modeling Models of computation
577	Synthesizing massive parallel simulation systems to estimate switching activity in finite state machines Werner W. Bachmann ø, and Sorin A. Huss øø Add to Reading List Source URL: www.iss.tu-darmstadt.de Language: English - Date: 2008-01-28 08:28:19 Electronic design Logic design Logic simulation Finite-state machine Electronic circuit simulation Logic gate CMOS Integrated circuit Simulation Electronic engineering Electronic design automation Digital electronics
578	doi:[removed]j.physd[removed] Add to Reading List Source URL: www.ece.gatech.edu Language: English - Date: 2008-10-23 12:03:26 Theoretical computer science DNA RNA DNA computing Sense Logic gate Biocomputers Molecular machine Finite-state machine Biology Genetics Molecular biology
579	Three States and a Plan: The A.I. of F.E.A.R. Jeff Orkin Monolith Productions / M.I.T. Media Lab, Cognitive Machines Group Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2008-10-08 10:47:05 First-person shooters Games Application software A.I. Artificial Intelligence Planning Finite-state machine A.i. Windows games F.E.A.R. Digital media
580	Intelligence without representation* Rodney A. Brooks MIT Artificial Intelligence Laboratory, 545 Technology Square, Rm. 836, Cambridge, MA 02139, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-12-08 14:54:34 Knowledge Subsumption architecture Robot Knowledge representation and reasoning Finite-state machine Allen Cog Artificial intelligence situated approach Strong AI Artificial intelligence Science Robotics

UPDATE